$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$). es{-}p{-}immediate{-}pred(${\it es}$;$P$) $\in$ E$\rightarrow$E$\rightarrow\mathbb{P}$